A constructive proof of the Cauchy–Kovalevskaya theorem for ordinary differential equations
نویسندگان
چکیده
We give a constructive proof of the classical Cauchy–Kovalevskaya theorem for ordinary differential equations which provides sufficient condition an initial value problem to have unique, analytic solution. Our is inspired by modern numerical technique rigorously solving nonlinear problems known as radii polynomial approach. The main idea recast existence and uniqueness solutions fixed point on appropriately chosen Banach space, then prove exists via version theorem. A key aspect this method use approximate solution plays crucial role in theoretical proof. sense that we provide explicit recipe constructing problem, solution, bounds necessary point.
منابع مشابه
Convergence of the multistage variational iteration method for solving a general system of ordinary differential equations
In this paper, the multistage variational iteration method is implemented to solve a general form of the system of first-order differential equations. The convergence of the proposed method is given. To illustrate the proposed method, it is applied to a model for HIV infection of CD4+ T cells and the numerical results are compared with those of a recently proposed method.
متن کاملA Subspace Theorem for Ordinary Linear Differential Equations
The study of the S-unit equation for algebraic numbers rests very heavily on Schmidt's Subspace Theorem. Here we prove an effective subspace theorem for the differential funrtion field case, which should be valuable in the proof of results concerning the S-unit equation for funrtion fields. Theorem 1 states that either O r d ^ L . V L J has a given upper bound where ^(PJ . I^P) , . . . , ! , , ...
متن کاملGeneralized Uniqueness Theorem for Ordinary Differential Equations in Banach Spaces
We consider nonlinear ordinary differential equations in Banach spaces. Uniqueness criterion for the Cauchy problem is given when any of the standard dissipative-type conditions does apply. A similar scalar result has been studied by Majorana (1991). Useful examples of reflexive Banach spaces whose positive cones have empty interior has been given as well.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Fixed Point Theory and Applications
سال: 2021
ISSN: ['1661-7746', '1661-7738']
DOI: https://doi.org/10.1007/s11784-020-00841-1